Nuprl Definition : pm_equal 12,41

i =  j == (i = j)  (i = (-j)) 
latex



clarification:

i =  j == (i = j  )  (i = (-j)  ) 
latex


DefinitionsP  Q, s = t, , -n
FDL editor aliasespm_equal

origin